Dejando de lado la discusión acerca de si hay o no una filosofía en el trabajo intelectual de Fernando González Ochoa, se propone considerar la obra del pensador colombiano como un trabajo antifilosófico que buscó socavar la seriedad de discusiones teóricas tomadas con solemnidad por intelectuales colombianos de su época. Se estudia, especialmente, la manera como González Ochoa, sin separarse de los supuestos de las tesis raciales y deterministas propuestas por intelectuales como Luis López de Meza o (...) Miguel Jiménez López, asume la discusión sobre la raza con el propósito de “empayasar el concepto” y llevarlo a instancias hilarantes a partir de la exageración, la ironía y las notas de ingenio. Su burla lo condujo a no tomar una posición seria o emprender una crítica de los supuestos relacionados con el problema como pasa, precisamente, con la posición ingeniosa de los antifilósofos. (shrink)

En los últimos tiempos el derecho ambiental ha ganado un puesto importante en el ámbito jurídico, hecho que refleja la preocupación que hoy se tiene por la relación del hombre con su entorno. Desde hace quince años, la Universidad Colegio Mayor de Nuestra señora del Rosario, por intermedio de su Facultad de Jurisprudencia y concretamente de la Especialización y la línea de investigación en Derecho Ambiental, ha propuesto a través de diversos proyectos avanzar en el conocimiento y análisis del ordenamiento (...) jurídico ambiental, aportando así al desarrollo, estructura y consolidación de esta rama jurídica. Bajo estos parámetros, el objetivo de esta publicación es hacer algunas reflexiones en torno a distintos temas que dentro del derecho público impactan o influyen al derecho ambiental y responder a los enormes desafíos que se presentan en la materia. Por tanto, el programa quiere contribuir desde la academia al diálogo crítico y propositivo que permita dar solución a los problemas encontrados en la aplicación del derecho ambiental. En el primer capítulo, Gloria Amparo Rodriguez describe los ordenamientos jurídicos constitucionales de Colombia, Ecuador y Bolivia a fin de analizar la forma en que cada uno de ellos consagra el derecho a un ambiente sano. A continuación, Martha Ovalle y Zelba Nidia Castro de Perez realizan un estudio de los principios de precaución y prevención, exponiendo su alcance, su fundamento desde el derecho internacional y cómo vienen siendo entendidos por nuestro ordenamiento jurídico, tanto jurisprudencial como legal. Luis Adolfo Diazgranados se ocupa de la responsabilidad de los funcionarios públicos en materia ambiental, para lo cual realiza un análisis de los deberes consagrados en la normatividad vigente. Continuando con esta temática, el profesor Jorge Agudo Gonzalez, de la Universidad Autónoma de Madrid, explora la incidencia del ambiente y los recursos naturales en los procesos contractuales, a fin de mostrar cómo estas materias se han constituido en variable fundamental en el devenir de la formación, celebración y ejecución de los contratos, desde un punto de vista crítico, los aspectos importantes del proceso sancionatorio ambiental, evidenciando las falencias y vacios del a Ley 1333 de 2009. Jairo Cabrera plantea algunas reflexiones sobre la responsabilidad, valiéndose de la doctrina internacional, sobre la problemática de la reparación por daño ambiental. Por su parte, Leonardo Güiza Suárez explica el régimen general de la responsabilidad ambiental en el ordenamiento jurídico a partir del daño de los bosques naturales y su incidencia sobre los derechos humanos. Andres Gomez Rey, desde la teoría del acto administrativo, desarrolla el análisis crítico del régimen jurídico de las aguas superficiales en el derecho ambiental. Giovani J. Herrera Carrascal realiza una disertación sobre los recursos naturales y el ambiente como elementos del espacio público que a su vez constituye en un componente del medio ambiente urbano a partir de la jurisprudencia y de las competencias respectivas. Por último, Marybell Ochoa Miranda trate el tema de los residuos hospitalarios en Colombia, exponiendo su régimen jurídico, las competencias de las autoridades ambientales, los deberes que en estos asuntos tienen los ciudadanos, proponiendo lineamientos para avanzar en la consolidación de la gestión integral de residuos hospitalarios y similares. (shrink)

Technological advancement makes translation convenient due to the emergence of various translation tools. This Explanatory-Sequential study aims to determine the preference and the factors affecting the preference of Filipino and Foreign college students toward the Online Translation Tool. Likewise, it also aimed to identify if there is a significant difference between the respondents' choices. To acquire the data, the researchers used a survey conducted on 15 Filipino and foreign collegiate students enrolled in universities in Manila and a focus group discussion (...) among 3 Filipino students. The transcribed data were analyzed using Thematic Analysis. Moreover, the results of the quantitative data revealed that Google Translate was the preferred Online Translation Tool of Filipino and Foreign students for the reason of accessibility, user-friendliness, and the tendency of users to brand bias. The reasons presented in quantitative data are strengthened by the themes identified in the qualitative data. The three prevailing themes of Brand Bias, Accessibility, and Accuracy constituted the central theme of User Friendliness. It was identified through the Chi-Square Test that there is no significant difference among respondents' preferences (0.345 P-Value) toward online Translation software. (shrink)

This article analyzes the epistemological legitimation of mathematics in natural philosophy in the seventeenth century. In the Renaissance it was claimed that mathematics does not meet the Aristotelian criteria of scientificity, and that it did not explain the efficient and final causes. So, its critics, inspired by the Aristotelian tradition, rejected the first attempts to mathematize natural philosophy. The epistemological conditions involved in the debate are examined on the scientific nature of mathematics and its relevance to natural philosophy. A historiographical (...) tour of the mathematization of nature is made to provide new weighing elements with respect to a historically and philosophically more conceptual characterization of the emergence of modern science. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Since the last century, determining the content of the law has been one of the main discussions of Jurisprudence. The Hart-Dworkin debate has dominated the discussion: to Hart, only social facts determine the content of the law; to Dworkin, it is necessary also to consider moral facts. There has been substantial progress in the debate in the last decades; nonetheless, it is far from settled. Mark Greenberg's idea about the epistemology of nonbasic domains and the tracking of their metaphysics sheds (...) light on the debate. The thesis of the present essay is that the Hart-Dworkin debate is held at different levels of discussion. Hart aims to answer what are the metaphysical foundations of the law. Dworkin seems to engage in academic activism about what ought to be the metaphysical foundations of the law. I argue that the idea of tracking the epistemic foundations of the law is only consistent with social facts being the determinants of the content of the law. Moral facts could be relevant but only mediated by social facts. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an (...) alliance between philosophy and literature will be for reasons not traditionally accepted by those in either the allies or enemies camps. (shrink)

The tendency to idealise artificial intelligence as independent from human manipulators, combined with the growing ontological entanglement of humans and digital machines, has created an “anthrobotic” horizon, in which data analytics, statistics and probabilities throw our agential power into question. How can we avoid the consequences of a reified definition of intelligence as universal operation becoming imposed upon our destinies? It is here argued that the fantasised autonomy of automated intelligence presents a contradistinctive opportunity for philosophical consciousness to understand itself (...) anew as holistic and co-creative, beyond the recent “analytic” moment of the history of philosophy. Here we introduce the concept of “crealectic intelligence”, a meta-analytic and meta-dialectic aspect of consciousness. Intelligent behaviour may consist in distinguishing discrete familiar parts or reproducible functions in the midst of noise via an analytic process of segmentation; intelligence may also manifest itself in the constitution of larger wholes and dynamic unities through a dialectic process of association or assemblage. But, by contrast, crealectic intelligence co-creates realities in the image of an ideal or truth, taking into account the desiring agent imbued with a sense of possibility, in a relationship not only with the Real but also with the creative sublime or “Creal”. (shrink)

"Noah and the Olive Branch" by Luis Herrera explores the profound symbolism of the olive branch in the context of human morality and existential renewal. Drawing on the biblical narrative of Noah's Ark, Herrera delves into a metaphor for peace, reconciliation, and the restoration of harmony between humanity and the natural world. The work interprets the olive branch not merely as a sign of the flood's end, but as a deeper emblem of ethical rebirth, signifying the opportunity for humanity (...) to reconstruct a more just and compassionate world after calamity. -/- Through a philosophical lens, Herrera examines the duality of destruction and creation, positing that potential for moral and spiritual growth follows great trials. The text questions the nature of divine justice and human responsibility, suggesting a call for ongoing ethical vigilance in a world perpetually on the brink of self-destruction. -/- It is a parable for man's quest for connection and reconciliation with the divine, in a violent world filled with chaos, anarchy and the antinomian pursuit of hedonistic ideals. Herrera's work resonates with contemporary concerns about cultural degradation and social fragmentation, urging a re-evaluation of our relationship with God and each other. The olive branch, in this interpretation, becomes a timeless symbol of hope, resilience, and the enduring quest for a harmonious existence. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Given plausible assumptions about the nature of evidence and undercutting defeat, many believe that the force of the evidential problem of evil depends on sceptical theism’s being false: if evil is...

Some placebo-controlled trials can continue ethically after a candidate vaccine is found to be safe and efficacious.

Why should we avoid incoherence? An influential view tells us that incoherent combinations of attitudes are such that it is impossible for all of those attitudes to be simultaneously vindicated by the evidence. But it is not clear whether this view successfully explains what is wrong with certain akratic doxastic states. In this paper I flesh out an alternative response to that question, one according to which the problem with incoherent combinations of attitudes is that it is impossible for all (...) of those attitudes to be simultaneously knowledgeable. This alternative response explains what is wrong with akratic combinations of attitudes using commonly accepted epistemological theses. The paper still shows how this proposal is able to explain the badness of incoherent combinations involving the absence of attitudes, suspended judgment and credence. These explanations deploy the notions of knowledge and being in a position to know, instead of the notion of responding properly to the evidence. Finally, I suggest that this picture can be generalized to the realm of practical rationality as well. (shrink)

N.T. Wright has offered Christian philosophers a proposal where it is apparently possible to hold the belief in the intermediate state-resurrection of the body and an ontological holism in the same sense at the same time. I argue that this not only creates a basic contradiction in Wright’s ontological paradigm, but also it is not a coherent and tenable proposal despite the fact one might eventually find a potential solution to such a quandary.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

Aesthetic subjectivism takes the truth of aesthetic judgments to be relative to the individual making that judgment. Despite widespread suspicion, however, this does not mean that one cannot be wrong about such judgments. Accordingly, this does not mean that one cannot gain higher-order evidence of error and fallibility that bears on the rationality of the aesthetic judgment in question. In this paper, we explain and explore these issues in some detail.

In this paper, I offer two counterexamples to the so-called ‘Uniqueness Thesis.’ As one of these examples rely on the thesis that it is possible for a justified belief to be based on an inconsistent body of evidence, I also offer reasons for this further thesis. On the assumption that doxastic justification entails propositional justification, the counterexamples seem to work.

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...) and argue that it has essential behavioral motifs that are relevant to the inherent variation, evolution and diversity in biology. We propose that qs-c is an especially innovative force. We apply qs-c thinking to RNA stem-loops and evaluate how it yields altered bulges and loops in the stem-loop regions, not as errors, but as a natural capability to generate diversity. This basic competence-not error-opens a variety of combinatorial possibilities which may alter and create new biological interactions, identities and newly emerged self identity functions. Thus RNA stem-loops typically operate as cooperative modules, like members of social groups. From such qs-c of stem-loop groups we can trace a variety of RNA secondary structures such as ribozymes, viroids, viruses, mobile genetic elements as abundant infection derived agents that provide the stem-loop societies of small and long non-coding RNAs. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

One of the few points of agreement between most theists and non-theists working on the problem of evil is that the existence of a perfect God is incompatible with the existence of pointless evil. In a series of influential papers, however, Peter van Inwagen has argued that careful attention to the reasoning behind this claim reveals fatal difficulties related to the Sorites Paradox. In this paper, I explain van Inwagen’s appeal to sorites reasoning, distinguish between two different arguments in his (...) work, and argue that they both commit the same so-far-unnoticed mistake. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

My starting point is what I call the Normative Authority Conception of justification, where S is justified in their belief that p at t (to some degree n) if and only if their believing that p at t is not ruled out by epistemic norms that have normative authority over S at t. With this in mind, this paper develops an account of doxastic justification by first developing an account of the normative authority of epistemic norms. Drawing from work in (...) political philosophy, I argue that (a) the cognitive and evaluative commitments and concerns behind our actual practices of holding each other and ourselves accountable for our beliefs reveal which epistemic norms we have consented to be under, and that (b) it is because we have consented to be under the authority of these norms – by actually holding ourselves and others accountable to them – that they in turn have normative authority over us. By connecting the authority of epistemic norms to the authority we have over ourselves in this way, the resulting account of doxastic justification (i) explains why it can be appropriate to criticize, resent, or sanction someone for having unjustified beliefs, (ii) avoids the phenomena of normative alienation and normative parochialism, and (iii) respects the social and collective nature of epistemic justification. (shrink)

Deontological internalism is the family of views where justification is a positive deontological appraisal of someone's epistemic agency: S is justified, that is, when S is blameless, praiseworthy, or responsible in believing that p. Brian Weatherson discusses very briefly how a plausible principle of ampliative transmission reveals a worry for versions of deontological internalism formulated in terms of epistemic blame. Weatherson denies, however, that similar principles reveal similar worries for other versions. I disagree. In this article, I argue that plausible (...) principles of ampliative transmission reveal a worry for deontological internalism in general. (shrink)

This paper defends a novel account of how to determine the intrinsic value of possible worlds. Section 1 argues that a highly intuitive and widely accepted account leads to undesirable consequences. Section 2 takes the first of two steps towards a novel account by clarifying and defending a view about value-contribution that is based on some of W. D. Ross’ claims about the value of pleasure. Section 3 takes the second step by clarifying and defending a view about value-suppression that (...) is based on Ross’ claims about the interplay between prima-facie duties. Section 4 states and defends the account that I call Rossian Totalism. According to this account, the atoms of intrinsic value within a world only sometimes contribute their intrinsic value to the value of that world. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

El artículo va en contra de la apreciación del escepticismo filosófico según la cual éste posee algún significado en cuanto supone el realismo metafísico y defiende pretensiones universales. Una tal visión del escepticismo filosófico es considerada aquí, más bien, como banal. Contra esta interpretación del escepticismo filosófico, se desea mostrar que éste puede ser concebido como una posición filosófica de interés aun cuando no infiera la imposibilidad del saber a partir del carácter inverificable del realismo, o aun cuando no defienda (...) actitudes destructivas con pretendido valor imiversal. El artículo quiere comprender los motivos escépticos relativistas e indicar su valor en cuanto ellos cuestionan el status de la filosofia como teoría de segtmdo orden, o meta-teoría. (shrink)

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

Paul Silva has recently argued that doxastic justification does not have a basing requirement. An important part of his argument depends on the assumption that doxastic and moral permissibility have a parallel structure. I here reply to Silva's argument by challenging this assumption. I claim that moral permissibility is an agential notion, while doxastic permissibility is not. I then briefly explore the nature of these notions and briefly consider their implications for praise and blame.

I reinforce my defense of permissivism about the rationality of doxastic attitudes on the face of a certain body of evidence against criticism published in this journal by Anantharaman. After making some conceptual clarifications, I manage to show that at least one of my original arguments pro-permissivism is left unscathed by Anantharaman's points.

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

In this Ph.D. dissertation, completed at the Sorbonne, it is shown that the whole of medieval philosophy was not reduced to a realist stance: in the 13th-14th centuries, an idealist stance emerged and was developed into a full-fledged epistemological idealism, personified in the philosophers Eckhart von Hochheim and Dietrich von Freiberg. This dissertation deviates from most works in the history of philosophy by proposing to see this as a taxonomy.

Throughout the present text, an account of the main contributions of Luis Villoro Toranzo will be made as a tribute to three years after his death.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

James Sterba has recently argued that the free will defense fails to explain the compossibility of a perfect God and the amount and degree of moral evil that we see. I think he is mistaken about this. I thus find myself in the awkward and unexpected position, as a non-theist myself, of defending the free will defense. In this paper, I will try to show that once we take care to focus on what the free will defense is trying to (...) accomplish, and by what means it tries to do so, we will see that Sterba’s criticism of it misses the mark. (shrink)

Deontological evidentialism is the claim that S ought to form or maintain S’s beliefs in accordance with S’s evidence. A promising argument for this view turns on the premise that consideration c is a normative reason for S to form or maintain a belief that p only if c is evidence that p is true. In this paper, I discuss the surprising relation between a recently influential argument for this key premise and the principle that ought implies can. I argue (...) that anyone who antecedently accepts or rejects this principle already has a reason to resist either this argument’s premises or its role in support of deontological evidentialism. (shrink)

Reseña del libro "José Vasconcelos. Ideario de acción: Discursos, artículos, cartas, documentos 1920-1924." Review of this book of a Mexican Philosopher.

Abstracting away from its various particular versions, contemporary externalism about knowledge can be broadly characterized as the rejection of two central ideas: that knowledge is incompatible with reflective awareness of the possibility of error, and that knowledge is necessarily tied to the resources that are available from within the first-person perspective. In this brief introduction, I outline five distinctly externalist accounts of knowledge, and two distinctly externalist methodological approaches to knowledge, all fitting this general description.

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

In Leibniz’s New Essays stands out, within many important topics, his doctrine of innate ideas, which supposes the division between sense knowledge and innate knowledge and implies the distinction between truths of reason and truths of fact. That doctrine is particularly relevant for Leibniz’s philosophy, but implicitly entails the epistemological difference between belief, on one hand, and certainty, on the other. In this paper I outline, according to my interpretation, how Leibniz explains that humans can have certainty about innate ideas. (...) This topic is important because if Leibniz demonstrates the possibility of having certainty of those ideas, then, it is feasible to believe in its existence. However, if his explanation is unsatisfactory his metaphysical doctrine would be seriously weakened and, at the same time, both skepticism and Locke’s empiricist doctrine would be reinforced. (shrink)